логический закон


логический закон
        ЛОГИЧЕСКИЙ ЗАКОН — общее название законов, образующих основу логической дедукции. Понятие о Л. з. восходит к древнегреч. понятию о логосе как о предпосылке объективной («природной») правильности рассуждений. Собственно логическое содержание оно впервые получает у Аристотеля, положившего начало систематическому описанию и каталогизации таких схем логических связей элементарных высказываний в сложные, истинность которых вытекает из одной только их формы, а точнее — из одного только понимания смысла логических связей, безотносительно к истинностному значению элементарных высказываний. Большинство
        Л. з., открытых Аристотелем, — суть законы силлогизма. Позже были открыты и др. законы, и даже было установлено, что совокупность логических законов бесконечна. В некотором смысле «обозреть» эту совокупность удается с помощью различных формальных теорий логического рассуждения — так называемых логических исчислений, в которых интуитивное понятие «Л. з.» реализуется в точном понятии «общезначимой формулы» данного исчисления (см. Логика высказываний, Логика предикатов), что, в свою очередь, делает понятие «Л. з.» относительным. Однако типом логического исчисления полагаются одновременно и границы этой относительности. При этом тип исчисления, как правило, не является делом произвольного выбора, а диктуется (или подсказывается) «логикой вещей», о которых хотят рассуждать, а также нашей субъективной уверенностью в том или ином характере этой логики. Исчисления, основанные на одной и той же гипотезе о характере «логики вещей», являются эквивалентными в том смысле, что в них каталогизируются одни и те же логические законы. Напр., примеру, исчисления, основанные на гипотезе двузначности, несмотря на все их внешнее разнообразие, описывают один и тот же «мир» классических логических законов — мир тождественных истин (или тавтологий), издавна получивших философскую характеристику «вечных истин» или «истин во всех возможных мирах». Логикой вещей, отражением которой исторически явились логические законы так называемой интуиционистской логики, является логика умственных математических построений — «логика знания», а не «логика бытия».
        Логические законы необходимо отличать от логических правил вывода. Первые представляют класс общезначимых выражений и формулируются в объектном языке исчисления. Вторые служат для описания фактов логического следования одних выражений из др., не обязательно общезначимых, и формулируются в метаязыке исчисления. В отличие от логических законов, правила вывода имеют вид предписаний и носят, по существу, нормативный характер. При построении исчислений без правил вывода обойтись нельзя, а без логических законов, в принципе, можно (именно так и поступают в исчислениях естественного вывода). Тем не менее изучение логических законов образует естественный исходный пункт логического анализа приемлемых («хороших») способов рассуждений (умозаключений), поскольку понятие «приемлемое» или «логически правильное» рассуждение уточняется через понятие «Л. з.».
        В традиционной (школьной) логике термин «Л. з.» имел очень узкий смысл и применялся только к так называемым законам мышления — к закону тождества, закону непротиворечия, к закону исключенного третьего и к закону достаточного основания. Однако такая канонизация термина «Л. з.» в настоящее время является данью традиции и не отвечает действительному положению вещей. Т е м не менее эти законы можно принять в методологическом смысле как принципы (или постулаты) теоретического мышления. В этом случае закон тождества (lex identitatis) истолковывается как принцип постоянства, или принцип сохранности предметного и смыслового значений суждений (высказываний), в некотором заведомо известном или подразумеваемом контексте (в выводе, доказательстве, теории). Закон непротиворечия (lex contradictionis) указывает на недопустимость одновременного утверждения (в рассуждении, в тексте или теории) двух суждений, из которых одно является логическим отрицанием другого. Закон исключенного третьего (lex exclusii tertii) утверждает, что нет ничего среднего (промежуточной оценки) между членами противоречивой пары (отсюда другое латинское название этого закона — tertium non datur). В методологическом плане этот закон выражает конструктивно неоправданную идею о разрешимости произвольного суждения (см. Разрешения проблема). Наконец, закон достаточного основания (lex rationis determinatis seu sufficientis) выражает методологическое требование обоснованности всякого знания, всякого суждения, которое мы хотели бы принять за изображение истинного (действительного) положения вещей. В этом смысле он применим не только к выводному знанию (в частности, к аксиомам и постулатам научных теорий), но и ко всей области фактических истин, не имеющих отношения к формальной логике. Не случайно Г. Лейбниц, который ввел этот закон в научный обиход, относил его, в первую очередь, не к логике, а ко всем событиям, которые случаются в мире.
        ММ. Новосёлов

Энциклопедия эпистемологии и философии науки. М.: «Канон+», РООИ «Реабилитация». . 2009.

Смотреть что такое "логический закон" в других словарях:

  • ЛОГИЧЕСКИЙ ЗАКОН — или Закон логики, выражение, содержащее только логические константы и переменные и являющееся истинным в любой (непустой) предметной области. Примерами Л.з. могут служить закон противоречия, закон исключенного третьего, закон де Моргана, закон… …   Философская энциклопедия

  • ЛОГИЧЕСКИЙ ЗАКОН — название законов, образующих основу логической дедукции; схема логической связи высказываний, выражаемая общезначимой формулой логики (аксиомой или теоремой), убедительность которой вытекает из одного только истолкования входящих в нее логических …   Большой Энциклопедический словарь

  • логический закон — название законов, образующих основу логической дедукции; схема логической связи высказываний, выражаемая общезначимой формулой логики (аксиомой или теоремой), убедительность которой вытекает из одного только истолкования входящих в неё логических …   Энциклопедический словарь

  • логический закон — выражение, содержащее только логические константы и переменные и явля ющееся истинным в любой (непустой) предметной области. Примером Л. з. может служить любой закон логики высказываний (скажем, непротиворечия закон, закон исключенного третьего,… …   Словарь терминов логики

  • Логический закон —         общее название законов, образующих основу логической дедукции. Понятие о Л. з. восходит к древнегреческому понятию о lógos e как предпосылке объективной («природной») правильности рассуждений. Собственно логическое содержание оно впервые… …   Большая советская энциклопедия

  • ЛОГИЧЕСКИЙ ЗАКОН — в математической логике логическая формула, к рая является схемой истинных предложений, т. е. превращается в истинное высказывание при любой интерпретации входящих в нее переменных для высказываний и предикатов. Такие формулы наз. общезначимыми,… …   Математическая энциклопедия

  • ЗАКОН ЛОГИЧЕСКИЙ —     ЗАКОН ЛОГИЧЕСКИЙ общее название законов, образующих основу логической дедукции. Понятие о законах логики восходит к древнегреческому понятию о logos e как предпосылке объективной (“природной”) правильности рассуждений. Собственно логическое… …   Философская энциклопедия

  • закон клавия — логический закон, характеризующий связь импликации ( если, то ) и отрицания. Его можно передать так: если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным. Или короче: высказывание, вытекающее из… …   Словарь терминов логики

  • ЗАКОН ТОЖДЕСТВА — логический закон, согласно которому всякое высказывание влечет (имплицирует) само себя. Внешне это самый простой из логических законов. Его можно передать так: если высказывание истинно, то оно истинно. Напр.: «Если трава зеленая, то она зеленая» …   Философская энциклопедия

  • Закон противоречия — Закон непротиворечия (закон противоречия)  закон логики, который гласит, что два несовместимых (противоречащих либо противоположных) суждения не могут быть одновременно истинными. По крайней мере, одно из них необходимо ложно[1].… …   Википедия

Книги

Другие книги по запросу «логический закон» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.